$\forall$$w$:World, $e$:E. FairFifo $\Rightarrow$ (w{-}info($w$;$e$) $\in$ ((:Id $\times$ Id) + (:(:IdLnk $\times$ E) $\times$ Id)))